1. Axiomatic projective geometry
Author: Heyting, Arend,
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Geometry, Projective
Classification :
QA
554
.
H48
2. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
3. Collected works
Author: Brouwer, Luitzen Egbertus Jan
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics
Classification :
QA
3
.
B86
1975
4. Collected works
Author: / L. E. J. Brouwer
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Collected works
Classification :
510
.
8
B876
1975
5. Collected works.
Author: L.E.J. Brouwer ; edited by A. Heyting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
6. Intuitionism :
Author: A. Heyting
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intuitionistic mathematics
Classification :
QA9
.
H46
1971
7. Intuitionism.An introduction.
Author: Heyting, A.)Arend( 8981-
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
9
.
H4
I5
1976
8. Intuitionism : An introduction
Author: Heyting, Arend, 8981-0891
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
9
.
H49I5
9. Intuitionism. An introduction
پدیدآورنده : Heyting, Arend
موضوع : ، Intuitionistic mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Intuitionism; an introduction
Author: / A. Heyting
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intuitionistic mathematics
Classification :
511
.
2
H621
11. Title in the Rossian
Author: Heyting
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematics-- Methodology
Classification :
QA
9
.
H417
